метод доказательства теоремы

См. также в других словарях:

• Метод исчерпывания — (лат. methodus exaustionibus) античный метод для исследования площади или объёма криволинейных фигур. Идею метода, в не очень ясных выражениях, высказал ещё Антифон, однако разработку и применение осуществил Евдокс Книдский. Обоснование… …   Википедия

• МЕТОД АКСИОМАТИЧЕСКИЙ — способ построения теории, при к ром в ее основу кладутся нек рые ее положения – аксиомы или постулаты, – из к рых все остальные положения теории (теоремы) выводятся путем рассуждений, называемых д о к а з а т е л ь с т в а м и. Правила, по к рым… …   Философская энциклопедия

• Метод Лемана — Алгоритм Лемана (или алгоритм Шермана Лемана) детерминировано раскладывает данное натуральное число на множители за арифметических операций. Алгоритм был впервые предложен американским математиком Шерманом Леманом в 1974 году.[1]. Данный алгоритм …   Википедия

• МЕТОД АКСИОМАТИЧЕСКИЙ — один из способов дедуктивного построения научн. теорий. В основании аксиоматически построенной теории лежат аксиомы, т. е. предложения, принимаемые без доказательства. Все остальные предложения теории выводятся из аксиом (т. е. доказываются,… …   Российская социологическая энциклопедия

• Метод дедукции — Дедукция (лат. deductio  выведение)  метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического… …   Википедия

• ИНФОРМАЦИОННО-РЕЦЕПТИВНЫЙ МЕТОД — обучения, объяснительно иллюстративный способ организации совм. деятельности учителя и учащихся, при к ром учитель сообщает готовую информацию, а уч ся воспринимают, осознают и фиксируют её в памяти. Информация сообщается в виде рассказа, лекции …   Российская педагогическая энциклопедия

• ИНФОРМАЦИОННО-РЕЦЕПТИВНЫЙ МЕТОД обучения — объяснительно иллюстративный способ организации совм. деятельности учителя и учащихся, при к ром учитель сообщает готовую информацию, а уч ся воспринимают, осознают и фиксируют её в памяти. Информация сообщается в виде рассказа, лекции,… …   Российская педагогическая энциклопедия

• АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… …   Математическая энциклопедия

• Аксиоматический метод —         способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …   Большая советская энциклопедия

• ГЕОМЕТРИЧЕСКИЙ МЕТОД —     ГЕОМЕТРИЧЕСКИЙ МЕТОД в философии (вернее геометрический способ mos geometricus или геометрический порядок ordo geometricum) форма наиболее экономного системного изложения философской проблематики (прообразом метода послужили “Начала” Евклида) …   Философская энциклопедия

• АКСИОМАТИЧЕСКИЙ МЕТОД — (греч. axioma значимое, принятое положение) способ построения теории, при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом), из которых затем логическим путем выводятся и доказываются остальные истинные… …   Новейший философский словарь